Server <b>ma.fme.vutbr.cz</b> is working.