20180820 sports.football: Football: German Cup results -- collated