Hartmann? War das nicht der mit dem Doppel Gelb??

Du meinst Metzen.
Das stand erst neulich an mehreren Stellen, weil es ja auch ein Spiel zwischen Mainz und Pauli war...