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