Formalising the Double-Pushout Approach to Graph Transformation (Logical Methods in Computer Science, 2024)