Beschrijving van de vorstelijke graftomben en het grafmonument van Hugo de Groot in de Nieuwe Kerk te Delft