Welke rechtsregel vloeit voort uit HR Rookverbod?

(Doorwerking internationaal recht) Indien noch uit de tekst, noch uit de totstandkomingsgeschiedenis volgt dat geen rechtstreekse werking van de verdragsbepaling is beoogd, is de inhoud van die bepaling beslissend. Het gaat erom of deze onvoorwaardelijk en voldoende nauwkeurig is om in de nationale rechtsorde zonder meer als objectief recht te worden toegepast.