Copeland-Verflüss.satz  OLQ-09-TFD-2