Who was the first king of Germany?