( 8938 ) ( karl Oster.