stadhuis, Coolsingel-kant, Hugo de Groot