Am Freitag, den 06.12.2013, 06:43 +0100 schrieb Helge Kreutzmann: > Am besten synchronisierst Du als erstes auf die Version im Git-Depot, > die ist etwas neurer als die von Frank verwandte. Ok, wo gibt’s die?