Tiny correction to German translation