strukturelle induktion
Markierungsalgorithmus ausfuehrlich erklaert