Title: Wallenstein, Second Edition, Revised