Sorry, it was a severe hardware problem on the main board, probably the CPU − I could not even boot up the system again once after shutting it down. This just goes to show how robust Linux is because it just reported a few segfaults from time to time. Axel