Hans-Joachim Jentsch — German judge and politician (1937-2021)