Viel besser ist die Bezeichnung Kumpfmühltor Danke --Dr. Reinhard Medicus (Diskussion) 08:03, 8. Mär. 2016 (CET)