( 5267 ) Wilhelm Roos.