Karlshall ( Böhmen ).