Hi Florian,

thanks for the link, that solved the issue. Indeed the default SSH Agent does not work so well with multiple keys.

Best,

Miha