Modified at 19.09.2016. HTML formatting created by diff2html.