Begründung: bleibt mit neuem text per diskussion. es sollte aber noch ergänzt werden, dass dies auch eine generische bezeichnung war und nicht nur das frankfurter panzerloch bezeichnete. (nicht signierter Beitrag von Wagner67 (Diskussion | Beiträge) 09:33, 17. Nov. 2019 (CET))