Berlin Pride attack suspect killed in police operation after daylong manhunt