K 10 svn:author V 5 joerg K 8 svn:date V 27 2014-08-10T21:51:07.195634Z K 7 svn:log V 37 Replace homegrown glue by @fontsdir. END