authors name Halvor Herlyng name Henrik Finsberg FEniCSx on ex3 TODO: Write about how to setup FENniCSx on ex3