Heißt er nun Otto von Botenlauben oder Otto von Henneberg? --Thore 14:31, 19. Heuert (Juli) 2018 (CEST)
Hab's jetzt entsprechend ergänzt. --Thore 14:35, 19. Heuert (Juli) 2018 (CEST)
