— Vi har ikke fått noen melding om personskader, sa operasjonsleder i Agder politidistrikt da Fædrelandsvennens nettredaksjon snakket med ham like over kl. 12.00.