Verfassungsklage gegen Rauchverbot zulässig