Berlin Pride ramming: Suspect shot dead in police operation