Stimmt genau. Damals, als ich dort noch "Insasse" war, war der übrigens nach Martin Luther benannt.

Gruß

Bergmönch