We are trying to update and maintain the Eifel topos here at 27CRAGS. Everyone is welcome to join and participate.