Just that. And at least in Germany health care isn't even paid for by the government. Rather the government defines minimum things to be covered and sets limits for non-private health insurance premiums in % of gross salary.