See https://gitlab.mi.hdm-stuttgart.de/ng066/GoikLectures/-/commit/109af8e493b0348c5f8cad6ce665ab2c2843fba9
(I cannot create a merge request due to lack of permissions.)