New report at least 20 injured, many critical.
dw.com is now showing 9 killed. Search still ongoing for ‘up to’ 3 attackers.
8 are confirmed killed by the attacker(s), 1 person found dead but unsure if related.