It's not open until tomorrow though, even to press. But IDs sound like these cards for people working at the booth, I have no idea. We'll need another source mentioning that.
I think he means people not in German time... What timezone is that anyway?