Dear all, last weeks changes to dune-grid concerning teh indexsets and traits have lead to some problems. 1) make check fails and even more severe 2) doxygen segfaults (at least on the web server) and thus the web site does not get updated Christian