det grufvans Öfrige tjenstemän att rädda sig in på restauranten » GItickhilf ».