Paul Girardet — German publisher (1938-)