A five-dimensional modular variety