Gravar-mail: BINARY CONGRUENCES IN ALGEBRAIC NUMBER FIELDS