Saken är nämligen följande: