stort , rödt kastell , kalladt » Davidsborg » hvilket numera gör tjenst som kasern för en del afgarnisonen