Was ist eigentlich … ein Weitwinkelokular?