"degassing time" Deutsche bedeutung