Saken är i korthet följande: