rödt kastell , kalladt " Davidsborg " , hwilket numera gör tjenst som kasern sör en del af garnionensamt