Wieliczka – a record-breaking Polish mine