Stór lögregluaðgerð í leitinni að manninum í Berlín RÚV Berlín mannfjöldi Þýskaland