An even shorter history of Ireland