U heeft gezocht naar "Koninklijke grafkelders"
https://www.oudeennieuwekerk.nl/tijdlijn/de-laatste-steen