vestingen
alternate name: vestingen
type: DefinedTerm