Germany is ready to take part in a Hormuz naval mission: German media reports