Biblioteka Militaria - Teider, Maja