[rogierhofboer]

Thanks for you suggestion and it is good to know this, but in my case I can rule out the cause. There is a spike in downdetector for YouTube at the time of my comment, so it must have been a larger glitch somewhere...