Rauchverbot in der Gastronomie ab 1. November