Saken var nämligen följande: