Informasi yang berkaitan dengan de/FDGB-Pokal 1980/Verlängerung (Fußball)