F H . von Halloch