De Mertens

Also known as: De Mertens, Mertens

People · Mentioned

Retired. Merged into #MERTENS (`people/mentioned/MERTENS.md`); use that entry instead.

Most of this glossary was researched with the help of AI language models and checked against the sources cited; mistakes are possible. If you spot one, please report it with the button at the top of the page.