Are Michael Hofmann and Martin Ritt both from the same country ?