( Antonienbutte n:o 1)