@Bashar sagte in Frage zu Typedef: @john-0 Du musst mal deinen Ironiedetektor nachjustieren. Sorry, in den Textforen kommt das immer wieder schlecht herüber, und hier tummeln sich einige „Koryphäen“, so dass man manchmal nicht weiß, ob eine Anmerkung nun ironisch oder todernst gemeint war.