Det förhölle sig så,