9301-datum=LOCAL_DATUM["Barcelona",32767]