Hugo de Groot de musical is verplichte kost voor (niet)musicalliefhebbers