In the german language there are the two words Neid and Missgunst.
Both could be translated as enviousness but have a slightly different meanings. While Missgunst is definitely negative and maybe even destructive, Neid does not need to be negative and can have the meaning like in the example you gave.