Reeller Vektorraum/Komplexifizierung/Tensorprodukt/Beispiel