В каких случаях суд должен прекратить производство по делу.