Gulik, Robert Hans van,1910-1967,author.