— простонародное название города Ораниенбаума (см.).