annotations for astart-formal2
Fragen: added a question; summary: fixed typo; 10: sanitized filename