Re: font problem

[Christian Arthaber]

hi

thanks for your help, but it didn't work. amazingly a apt-get
update + upgrade solved the problem. still i don't know why it
occured. 

Christian