@Tobi:
Ah merci. Ich meinte mich zu erinnern, dass man Schleifen Kurzworte zuordnen kann. Jetzt bin ich schlauer.

@Kermit:
Wieviele Schleifen habt Ihr denn? Würde da nicht alternativ ne Dekade helfen?

Patrick