Om arrende af gamla flottet Johannisborgs borggärd och wallarkan