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