method of calculating the end-of-service provision