Adaptive Galerkin approximation algorithms for partial differential equations in infinite dimensions