Jacob Pins
German Israeli, 1917-2005