Problem karlsuss2 2003-12-03 15:08:02: r topside objective focus needs adjustment

[hopcroft at snf.stanford.edu]

The image of the mask from the right topside objective is out of focus when the focus knob is maxed out clockwise.