Rudolstadt. Rudolstädter Gasanschlüsse werden bis Dezember verlegt