Wie lange ist Herr Hallmackenreuther schon in Rente?