Apparently part of the "dinkie" range which were smaller in size than the standard sized pens of that era.
eBay