^ ( .HOFLEVERM *’