Saken fick således precis den utgång ,som