sig äfven till namnet Steinkeller.