Am 05.11.2013 23:51, schrieb Philipp Gampe: > Ich habe ggf. morgen Mittag oder Abend etwas Zeit. Herzlichen Dank an Philipp! Die aktuelle Git-Version, die er gerade installiert hat, löst das Problem bereits. Jan