Herbert Girardet — German publisher and art collector (1910-1972)