Dear all, I need help identifying this numeric font, known from labels/barcodes – what is it called?