Der Teufel und die Kroaten Ein Geschichtlein aus dem Dreißigjährigen Krieg