What about the employees of Thomas Cook?