Update from vpn18178.itmc.tu-dortmund.de (Fr  8 Nov 2013 12:09:13 CET)