How to connect to a remote mysql db via socket file

[Uli Schauenberg]

Our provider has changed access to a remote mysql database from ssh tunnel/port configuration to a socket file. It is unclear how I can now establish a connection with the workbench to this remote mysql db. They advised to use the ssh connection string ssh -N -L 5001:/var/lib/mysql/mysql5.sock [e-mail] and as a hostname mysql.
I would appreciate some guideance how and where to enter this information in the 'manage server connections' dialogue.