Atom trap trace analysis of krypton in xenon for the XENON Dark Matter Project