"degassing, gasing-out," Deutsche bedeutung