Saken lär vara följande: