Pokal-Highlights: Ochsenhausen zieht dank des Doppels gegen Bergneustadt ins Finale ein