Peter Ehlen — German philosopher (1934–2022)