pompen
alternate name: pompen
type: DefinedTerm