Därmed förhöll det sig så: