Der Betrag, den General Motors für sein eingestelltes Cruise-Robotaxi ausgegeben hat: