Rudolf II. wird zum römisch-deutschen König gekrönt