How Much Should Debtors be Punished in Case of Default?