gaslampen
type: DefinedTerm
alternate name: gaslampen