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