"binary operator" Deutsche bedeutung