Eingliederung des Ortsteils Hollenbach in die Stadt Mühlhausen/Thüringen