Heute hat Anton Gerg seinen Todestag