Sharp-interface limit of a Ginzburg-Landau functional with a random external field