Haggenmacher Ottó, id.