„Wie lautet die offizielle Staatsbezeichnung von Korea, und was bedeutet sie?“