vermelden, noemen
refer to something or someone briefly and without going into detail
vermelding, aanduiding
a reference to something or someone