Issues with bastli.ethz.com access could stem from improper redirect settings between different versions of the site. Check the following links for alternative routes:

http://bastli.ethz.com https://bastli.ethz.com

Or return to the current status page of bastli.ethz.com.