stort , rödt kastell , kalladt " Davidsborg ” , hvilket numera gör tjänst somkasern