You don't need any papers to get in.
We attended a concert in the main hall. No masks required. We were one to be on the safe side. As far as the restaurant, it's the same there as well.
We had nothing in place. I would double check with the venue though
There weren't any. No one wore masks. None were required.
Thanks! Your answer is awaiting moderation.