Upon closer inspection these are not my 'pocket'plugs. Ours receptacles were covered with a flat spring loaded cover and the contacts were on the sides of the plug that we would insert,(no ground). Your contacts appear to be round and on the bottom. You do have a neat unique piece of history.
