Exactly. The first 25% I mentioned includes health insurance for your whole family with close to 0 deductibles (usually a few euros here and there), retirement plan and unemployment insurance (if you get fired, you can expect to get ~60% of your previous gross salary the first year, slowly decreasing after that) and at the very least 5 weeks of paid annual leave.