Alpha-galactosidase from Thermotoga maritima in complex with hydrolysed cyclohexene-based carbasugar mimic of galactose