tingshus kl. 10 f.m. ; b.