It resembles that blessed moment of relief, in an hotel or restaurant, when an unruly child who has been making an intolerable noise, running around the room and pestering diners is finally removed by his feeble parents.