Ich weiß von Gesprächen, dass man das Torhaus auch als Kommandantenhaus bezeichnet, wenn ich nichts missverstanden habe. Die Beziehung der beiden Häuser bzw. Namen (tauchen beide im Artikel auf), sollte geklärt werden. -- HilmarHansWerner 23:44, 10. Mär. 2018 (CET)