OK now I’m confused, because I was pretty sure Germany introduced 35 hour work week already in the 90’s, just like Denmark reduced to 37.5 hours.
Here the 37.5 is actually the norm for full time work. I thought it was 35 in Germany, but I can’t even find anything on the introduction of 35 hours in the 90’s ???
But apparently the AVERAGE which is a completely different measure, is 34.2 in 2020.