German officials report police shot and killed a 'known Islamist extremist' after he attacked a German police officer.
