Prof. Johnstrup , kryolitensforekomst