Protokoll um fehlende Formeln erweitert