Markt für stationäre Gasdetektionsgeräte: Größe nach Anwendung 2026-2033