Anton Holzmann feierte seinen 80. Geburtstag. Wir gratulieren!