Ernst Behringer

1942–2023