This module is/was already installed. 
It seems that I’ve missed an error message during installation of the evdi module… It said that it could not locate the needed linux-headers (in my case linux59-headers)
Therefore, I’ve installed the linux-headers, followed the manual again, did a reboot and now it works just fine! 
Many thanks!