ANTON Gabriel ( ~1831 - ? )