20E06 Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations 2783