4 ms·

I think you're probably right about overall cost, but just a note: German employers do pay into the health insurance pools, too.