Die deutschen Königspfalzen (Vandenhoeck & Ruprecht, 1980)