pompen
type: DefinedTerm
alternate name: pompen