国王湖码头叫什么名字

国王湖（K?nigssee）的码头在德语中通常被称为“K?nigssee-Seeadler-Auflieger”。这个名字结合了湖名“K?nigssee”和码头所在地区的名称“Seeadler-Auflieger”，后者可能是因为该地区曾经有一个名为Seeadler的酒店或设施。如果您需要这个名字的中文翻译，可以简称为“国王湖码头”或“国王湖Seeadler码头”。不过，具体的中文译名可能因不同翻译和文献而有所不同。