A Gröbner basis criterion for birational equivalence of affine varieties Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems 