Profinite group theory, subgroup accessibility, amalgamated products, continuous derivations, Bass-Serre theory