I know it as "Zeitausgleich". You don't get paid overtime but you accumulate time off. Pretty much like getting additional vacation days. And to be honest, I kind of like this system. I'm happy to work >40h every now and then, but I won't work >40h on average.