( 957 ) J . Diederichs.