bra-ket - German English Dictionary