Server studium.fme.vutbr.cz is working.