It turns out that my modification of /usr/lib/os-release was wrong:
Instead of
VERSION_ID="18.04"
as mentioned in Sdkmanager - Linux - No available releases for linuxmint19 the VERSION_ID must be without double quotes:
VERSION_ID=18.04
This way I can successfully login in SDK Manager and download stuff.