Då saken förhöll sig så,