document.write("«&nbsp;<a href='/news/view?id=60559'>Windows Updates getting even more complex, a little more controllable</a>");document.write(" | ");document.write("<a href='/news/view?id=60561'>Wolf Barth (1942--2016). (arXiv:1704.07446v1 [math.HO])</a>&nbsp;»");