@hustbaer Danke vielmals für die Aufgliederung. Wird immer wieder gebraucht, wie ich sehe!

@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.