Alte Kolonie in Dortmund-Eving: Geschichte einer Bergmannssiedlung