OTTO HOOF ( G.