Ernst Benda — German legal scholar, politician, and judge (1925–2009)