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.
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.