Saken är kortligen denna: