
Es ist festgelegt worden dass ab 18:00 rauchen in der koje erlaubt ist. Wenn um 18:00 sich noch jemand in der koje befindet der sich vom rauch gestört fühlt kann dieser die raucher bitten im gang oder draussen zu rauchen, bis derjenige seine arbeit beendet hat.
