Dear Frank Mittelbach, your suggestion to change the default font encoding from OT1 to T1 sounds good; I'd very much appreciate such a change. Best regards, Ernst Molitor