grötzsch graph