¿Qué otro nombre recibe el Castillo de los Países Bajos?

El Castillo de los Países Bajos también se conoce como el Castillo de Muiderslot.