verkürzung der arbeitszeit aus gesundheitlichen gründen