Dedekind sums take each value infinitely many times - Kurt Girstmair (2017)