I'm not 100% sure whether my way of thinking is correct, but I haven't really managed to install it. I've just downloaded it, tried to run it with the .bat file mentioned earlier and that's where I got stuck. I've repeated the whole process and got stuck with same problem.
Also, no idea if that will help, here is a quite long error log that pops up once I try to run start.bat via regular account:
https://docs.google.com/document/d/1bM3KEeM_3u2X1ApG20FXuLuK3N6Ryj6meZUJb115w88/edit?usp=sharing
No additional files, including EULA, where generated by the .jar file. Its just start.bat and minecraft_server.1.15.2.jar