Time-optimal control of a crane by Ven