Nederlanders besteedden 15 miljard aan vakanties