德国法兰克福简称是什么城市名字的英文