The English term "king" matches the German term "König"