Football. Germany Regionalliga Bayern 2017/18. Half time