Pin(2)-equivariant Seiberg–Witten Floer homology of Seifert fibrations. (9th February 2020)