https://leandersukov.de/dimension-und-integration/