stadsgracht, stadswal of vestingmuur; ook wel vesting