So the happy end has happened . . .