Modified at 24.03.2015. HTML formatting created by diff2html.