[Gandalf2210]

hello

I have switched from placing map files on my server to using the workshop method, since the download did not work anymore. It works fine, but is there a nice method for changing the map?
host_workshop_map "12345679"
is not usable, since I don't remember all IDs of all maps I have.
Hosting maps on my server, I can change map via the !admin menu and it displays all maps stored in the maps folder.
But the workshopmaps are not listed there

Is there a plugin where I can graphically select the workshop map in my collection, that I want to play?