I have a framed collection of pre-decimal coins. The farthing has "1939" written on it. Did the Royal Mint continue to operate during WW2? If "yes" who would it have been staffed by after the able bodied men were drafted?