What to know about the Berlin Pride attack and the suspect killed by police