Dermed förhöll det sig så: