Terrorangrebet 22. juli i Norge får nu politiets efterretningstjeneste, PST, til at opruste med en terror-søgemaskine til 10 millioner kroner.