Roughly. It’s slightly offset later than that because I start late, though. Official work week here is 35h, which is usually more like 38h (with extra time provided as extra leave days).