Ach stimmt, Mainz war damals ja von jemand anderem. Schon glatt vergessen. Umso besser.