Library catalogue working again

The hardware problem has now been fixed by our IT team and our catalogue is back up and running as normal.