Forgive my ignorance. Just read Aris' column, which contained lots of details on DFB-Pokal matches. I'd be more interested if I knew what that was. Is it the German Cup? Thanks.