Rohrleitungsbau in Rudolstadt, Thüringen