SMS versenden: Adaptive Galerkin approximation algorithms for partial differential equations in infinite dimensions