Lei av den tyske elefanten