Who died first, Dieter Zorc or Michael Zorc?