Formelle Beschreibung

Eine formelle Beschreibung des Algorithmus findet sich in Anlage 5.