G . von Diedrichs;