Etter 22. juli skulle Norge få 1200 topptrente politifolk. Nå gir de opp