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