mini-fix: mainz1 war hinterschinken, bevor er wiesbaden2 wurde; mainz1 nicht belegt