Let's congratulate the rescuers on their professional holiday