Fix copyright symbol in German.