Heißt der Berg nicht besser Hohenstaufen, fragt --Dr. Reinhard Medicus (Diskussion) 12:22, 2. Mai 2020 (CET)