Copeland-Verflüss.satz  OLQ-18-TFD