Redundancy arising from lay off and short time