Effiziente Partitionierungstechniken für die interaktive Nachbearbeitung medizinischer Segmentierungen.