@whreq Ik vermoed dat dat gewoon ouderwetsch met losse cijfer-stempeltjes is, zoals typesetting vroeger ging, want oude apparatuur die nog werkt