Update from vpn47056.itmc.tu-dortmund.de (Fr 25 Okt 2013 13:18:26 CEST)