Haben Angestellte ein Anrecht auf Raucherpausen?

Ein 61-jähriger Angestellter der Stadt Köln, welcher seit mehr als 40 Jahren im Dienst rauchte, klagte gegen das strikte Rauchverbot der Dienststelle, welches besagt, dass das Rauchen im gesamten Gebäude untersagt ist und während der Kernarbeitszeit kein Anspruch auf Raucherpausen besteht. Der Angestellte wollte vor Gericht erwirken, dass ihm ein Raucherraum im Gebäude zur Verfügung gestellt wird, in dem er darüber hinaus während der Kernarbeitszeit rauchen dürfe.