Der Kombinator K 25/1 B 812

https://hohpublica.uni-hohenheim.de/handle/123456789/13280