Без заголовка

Ну да. Поправил в тексте. Но называют "Красный квартал" этот квартал очень часто. Вот в этом тексте есть все три названия -- и район (не квартал) красных фонарей, и красный квартал и оригинальное (http://www.planetainfo.org/country/netherlands/item/151-niderlandy-krasnyj-kvartal-postoronnim-vkhod-razreshen/151-niderlandy-krasnyj-kvartal-postoronnim-vkhod-razreshen): "Начнем с того, что название «Красный квартал» не совсем соответствует действительности. Голландцы называют этот квартал в сердце столице, расположенный между улицами de Warmoesstraat и de Zeedijk - de Wallen (Валлен, сокращение от названия улиц Nieuwezijds Voorbrugwal, Oudezijds Achterburgwal и Oudezijds Voorbrugwal)". Вот ещё: https://www.russian-belgium.be/node/15464 Но фонари более классически будут, согласен.