Industrial plant, pipes, pipeline, Rohrleitungen, Industrieanlage, Industriewerk