https://www.atpase.uni-freiburg.de/dokumente/publikationen/2002_boersch_springer.pdf