Hal Koch : et udvalg - Koch, Hal (Gyldendals julebog, 1963)