Saken war nämligen den: