Dermed förhöll det sig sålunda: