Ernst Magnus , grossh.