Germany Bulked Up Christmas Market Security. An Attack Still Happened.