Rohrleitungstiefbau in Rudolstadt, Thüringen