Die Bezeichnung Papiermuseum Alte Dombach ist nach wie vor gültig. Ich habe deshalb auf die nach dem neueren Sprachgebrauch verwendete Bezeichnung Papiermühle Alte Dombach eine Weiterleitung hergestellt. --der Pingsjong 12:40, 29. Aug. 2018 (CEST)