On the Uniform Computational Content of the Baire Category Theorem - Vasco Brattka; Matthew Hendtlass; Alexander P. Kreuzer (2015)