[ben_w]

To add to your example, UK school hours are (or were when I was going to them) 09:00-15:30.

I'm not 100% sure the hours here in Germany (sadly lacking the need to know), but I think many are 08:00-13:30.