Wilhelm Girardet — German publisher (1838-1918)