. . . "It is not permitted to smoke in public buildings and other places open to the public." .