Samuel,

Thank you very much, that was the problem. CTRL-F5 and restarting the browser was not enough as it seems.

Leon