Gas, das ein Leck in einer Rohrleitung entweicht, kann eine Explosion auslösen oder die Gesundheit von Menschen anderweitig gefährden. Roboter sollen künftig regelmäßig Industrieanlagen kontrollieren und solche Lecks aufspüren. (Roboter, Technologie)