Gute Idee, im Note hat sich auch jemand für loc_name ausgesprochen. Es ist wahrscheinlich kein großer Unterschied, ob man loc_name oder short_name nimmt.
EDIT: Ich habe dem Ersteller des Hinweises freigestellt, einen der beiden Tags zu nutzen.
Gute Idee, im Note hat sich auch jemand für loc_name ausgesprochen. Es ist wahrscheinlich kein großer Unterschied, ob man loc_name oder short_name nimmt.
EDIT: Ich habe dem Ersteller des Hinweises freigestellt, einen der beiden Tags zu nutzen.