5,000 kr. , mudderverkets underhålloch