Topology Seminar: Gorenstein dimension and proper actions