德国政府发言人：尚不清楚美国是否就霍尔木兹海峡问题提出了正式援助请求。