( 3762 ) Wilhelm Roos.