Yes that was it. It’s not a fundamental problem.
According to my tests, it was the “Simple Tab Groups” add-on.
But I can’t say that 100%, it wasn’t always reproducible. For now I will not use the add-on and see whether the problem occurs again without the add-on.