Mainz freut sich über Stachs DFB-Debüt – aber muss sechsstellige Ablöse nachzahlen