Wet overheidspersoneel onder de werknemersverzekeringen:artikel 42