OV 09.11.2020 Industriemuseum setzt weiter auf bewährten Vorstand