man bedreigt voorbijgangers in oslo, politie schiet hem dood