Mausoleo de Federico IX de Dinamarca en la catedral de Roskilde.