Berlin Pride attack suspect killed in police operation after daylong manhunt

No summary available