In memoriam Ludwig Hirsch