Hi ebene,

sorry for the delay. I must admit I have no idea what's wrong with your system. I had the same idea like sberlin but your Extensions directory is empty (i.e. there are no conflicting packages).

The only advise I can give you at the moment is: check your system and watch for anomalies like the "tiny" Terminal window. I've never seen (or heard of ) a such effect. The smallest window size I can set is: