by Colimits, Again -- Graph Transformation with Variables -- Graph Transformation in