tingshuset i Gamla staden ti a fl.