{Optical derotators, i.e. systems for compensating for image rotation, e.g. using rotating prisms, mirrors}