( 4376 ) Wilhelm Roos.