Two-stage pulse tube cooler for operation of a Josephson voltage standard near 4 K