San Francisco trekt 212 miljoen dollar uit voor uitfaseren van floppydisks