Großherzogliche Oberrealschule (Mainz)
Datenquelle: GND