Short time work as an alternative to retrenchment.