1. Paul kohlenbach dissertations