Employment Effects of Work Sharing - an Econometric Analysis for West Germany