till den tyska kolonien Grossliebenthal.