Шлинк, Базилея