Berlin Pride attack suspect killed during police operation