And what happened? My understanding of German labor laws is that, for any reasonably sized German company, there would be a workers council that would have to approve work level changes like this. Did that happen?