PM-generator voor getijdenturbine