Abbruchbedingung in Formelsprache realisieren?