This is Dublin : pocket guide & city map