Raucherpause während der Arbeitszeit: Was ist arbeitsrechtlich erlaubt?