skrattade prosten helt belåten ; hailskrattade