BIBEL-Downloadserver ist erreichbar.