Hobbes choked on maxima, because installation or the whole TeXLive ate all available disk space. Cleaning up the mess is a bit challenging, so I'll leave it offline for now. Michael