It's pretty much what happened with Catering a few years back. Those jobs are outsourced and are technically not part of the group, which means the official headcount of employees reduces, but those people are still doing the same work for a new outsourcing provider.