Highlights: Ochsenhausen nimmt Revanche an Mühlhausen