80k€ would net you between 40-50k€ after all taxes, health insurances and a basic retirement fund. The exact number depends on you having a family or not and many other factors.

In addition your employer pays an amount equal to about 10-15% of your gross salary into your health and retirement insurance. And this pay is on top of your salary. (Arbeitgeberanteil)

Holiday is always included with a minimum of 21 days a year for a full time job. And Germany has paid parental leave included if you start a family.