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