Rauchverbot: Casino Spa musste vor Gericht