Raucherpausen kosten Arbeitszeit. (Bild: Steffen Riedel)