Super Cartan geometry and loop quantum supergravity (Konstantin Eder, FAU)