Rundungsfehler bei Durschnittsnoten ausgebügelt.