Eduard Magnus (German, 1872)