Die meisten Schränke sind schon leer, das Büro im Rathaus wirkt aufgeräumt: Günter Beck, langjähriger Bürgermeister von Mainz, ist auf dem Weg in den Ruhestand.