Ludwig David (deutsch, 1930)