Wo kommt das Kennzeichen WK her?