Könnte die deutsche Marine einen möglichen Hormus-Einsatz stemmen?