@Ratzer: Das Hauptproblem dieser Diskussion, bei der es schon längst nicht mehr um die Felsengruppe zu gehen scheint, liegt vermutlich darin, dass sich das Wort "Vorhutfelsen" durch diese anfangs einfache Fragestellung irgendwie eigenständig gemacht hat. So werden "Fake"s geboren... -- Zollwurf 15:42, 11. Okt. 2018 (CEST)