Key legal question
Whether the claim should be struck out after withdrawal following settlement
Extracted holding
The proceedings were discontinued and struck out because the claimant withdrew the action after the parties reached a settlement.
Extracted reasoning
Under Art. 32(2) BGG the instructing judge may discontinue the proceedings; the withdrawal based on the settlement justified striking the case out.