s4 mini to s3 mini conversion
Merge branch 'master' of https://medien.informatik.uni-ulm.de/git/mind_server
encoding fix
Merge remote-tracking branch 'origin/master'