Re: [Wikipedia-l] de.wikipedia.org db dump