התקנת כיריים גז (שירות בגרמנית)