Nonabelian class field theory