Rohrleitungsarbeiter, die Rohrlängen für den Bau von Gas- und Ölleitungen messen