The information comes after a car rammed into a German Christmas market, injuring more than 200 people