Dermed förhöll sig sålunda: