Krönung zum römisch-deutschen König.