WC-Besuch am Arbeitsplatz: Arbeitszeit oder Ausstempeln?