Der Name Gereonsmühle bezieht sich auf das nicht mehr existierende Gereonstor, eines der 12 damals existierenden Stadttore, von denen 8 zusammen mit dem größten Teil der 600 Jahre alten Stadtmauer im Jahr 1881 abgerissen wurden.
Der Name Gereonsmühle bezieht sich auf das nicht mehr existierende Gereonstor, eines der 12 damals existierenden Stadttore, von denen 8 zusammen mit dem größten Teil der 600 Jahre alten Stadtmauer im Jahr 1881 abgerissen wurden.
