man kan jo ikke forbyde alle offentligt ansatte at ryge i arbejdstiden