( 5207 ) Wilhelm Roos.