Hi there, I'm facing a problem with German special characters in my workplace_de.properties file. Editors convert them to some strange characters. Does anyone know how to solve this problem? Any hints appreciated, Mo