Härmed förhöll det sig sålunda: