SummerTerm year@Integer: Sommersemester #{tshow year}
WinterTerm year@Integer: Wintersemester #{tshow year}/#{tshow $ succ year}
SemesterEdited tid@TermIdentifier: Semester #{termToText tid} erfolgreich editiert.