Deligne–Mumford stacks