Saken var nämligen den,