( 5219 ) Wilhelm Koos.