Friedrich Binder (1910-)