“Germany has a problem . . . Cases of far-right extremists in the military and the police, some hoarding weapons and explosives, have multiplied alarmingly.” (The New York Times, 7/3/20)