3 ms·

I am sure we can have a non-smoking event there. IIRC Between 19:00 and 22:00 no smoking is allowed in the main hall.