Det förhöll sig nämligen så,