entertainment district, amusement area, pleasure quarter, red-light district