and Coordination -- Dynamic Epistemic Logic for Channel-Based Agent Communication -- On