Video in TIB AV-Portal: 4/4 Polyfolds and the construction of Symplectic Field Theory