Johann Irgens ( h . i Bergen)