då cigarrökning ej är tillåten förr än efter kl. 9.