Automatic tube lens design from stock optics for microscope remote-refocusing systems