en summa af omkring 15,000 kr. , hvilkapennin-