fessor G . Gräf i Berlin.