evalEnv implementiertÄ