Het groote wereldtooneel / - Calderón de la Barca, Pedro; Boon, Jozef (Desclée de Brouwer,, 1942)