Exakte Quantisierung von supraleitenden Schaltungen