Rohrleitungsbau in Tonndorf, Thüringen