( 830 ) Wilhelm Roos.