German translation

As discussed, here is the German translation.