Germany Boosts Surveillance on 9,000+ Violent Islamists Following Berlin Attack