Stav dette: Geometric optics on phase space