Det förhöll sig nemligen så,