Heinrich VII., römisch-deutscher König, Kaiser (ΓÇá 1313) - Thomas, Heinz (1989)