[dune-pdelab] Unknown exception

[conf86 at web.de]

> I don't think it makes much sense to search further. One question
> though, do you work on a network files system? Sometimes glitches in
> the file system, like non-matching clocks, etc. lead to funny
> errors. Although I can't remember having ever see a problem like the
> one you encountered.

Yes, indeed. I never considered that this might be the reason.
Good to know if strange things like these happen again.

Best regards