Graphics via https://www.diagrammeditor.de/
