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