Buchstaben in Frakturzeichen umwandeln

#!/usr/bin/env python3
# -*- coding: utf-8 -*-
########################################################################
#
# fraktur
#
# Abbildung der lateinischen Buchstaben auf die entsprechenden
# Mathematik-Sonderzeichen in fetter Fraktur.
#
# $Id: fraktur,v 1.3 2020/07/28 20:54:42 elias Exp $
#
########################################################################

import sys
import fileinput

fra = "𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟"
lat = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"
l2f = { }
for i in range(len(fra)):
    l2f[lat[i]] = fra[i]

if sys.stdin.isatty():
    print("Schreib einfach etwas Text!")
for line in fileinput.input():
    nl = []
    for c in line:
        if c in l2f:
            c = l2f[c]
        nl.append(c)
    print(''.join(nl), end="")