Collaborations between Harry Mulisch and Theo Bierkens