All songs by Joost van den Vondel