[Bonn symplectic geometry seminar] Equivariant Floer homotopy via Morse-Bott theory