1917 gegründetes Unternehmen. - https://www.internationalgasdetectors.com/about/, 03.06.2022
[Stand der Information: 03.06.2022]