Saken var nemligen den,