Vektoren:Vektoren.class
	java Vektoren

Vektoren.class:Vektoren.java
	javac Vektoren.java
Fr Jul 30 13:54:24 CEST 2021
patent_button.gif valid-html401.png elektra.jpg fsfe-logo.png valid-css.png vim.gif anybrowser.gif