Reduced Work Time and the Unemployment Insurance Fund