Hmm, hoffentlich nicht. Bei mir funktioniert es aber auch. Moeglich, dass der Uni-Server eben kurz abgestuerzt war, denn nach Buechern suchen ging eben nicht.