How many workers will the Croatian tourism sector require this summer, and what sort of season will it actually be?