If it get to the point where we — like France and Denmark — end up seriously considering cutting a holiday, my vote is for ...