I used the values from the original post, which is only the employee part and not the employer part. I also assumed that they're not using current but slightly older values here. I also didn't include the PPV, if you include that and count the employer part you end up at 1000 EUR.