The Grand Mosque of Agadez, the World’s Tallest Mud-Brick Building