Najas major var. ehrenbergii