Unavailability of the computers faui06*

The computers faui06a to faui06p, which usually are permanently accessible via SSH, will soon be temporarly unavailable as the hardware gets replaced. The computers faui00* will still be available and should be used instead.

-- Julian Brost