Uncomputably large integral points on algebraic plane curves? Integral bases in a tower of algebraic function fields: a contribution to the construction of asymptotically good algebraic-geometric codes 