Original: Oldest known mention of the city of Dortmund .
Simplified: Oldest known mention of the city of Dortmund