dresdner_10_branches_sliced.smv 412 KB