rödt kastell , kalladt » Davidsborg » , hvilket numera gör tjänst som kasern för en del af garnisonen samt stadens citadell.