Detroit files for bankruptcy.